<body>
Tokens that use integers to represent strings from a vocabulary of known size.
</body>